text editor in java